f:
{
    getLine: Effect(Str,)
    putLine: Str, -> Effect(Int,)
    text: Str
    value: Int(*,)
}

42
